barrier function
2 ProblemFormulation
We exploit the convexity property of the barrier function to formulate the optimal control synthesis problem asalinear program.
Technology:
Exact Verification of ReLU Neural Control Barrier Functions
In CBF-based control, the desired safety properties of the system are mapped to nonnegativity of a CBF, and the control input is chosen to ensure that the CBF remains nonnegative for all time.
Country:
- North America > United States > Missouri > St. Louis County > St. Louis (0.04)
- Europe > Hungary > Budapest > Budapest (0.04)
- Europe > Germany > Baden-Württemberg > Karlsruhe Region > Heidelberg (0.04)
Technology:
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
Neural Control Barrier Functions (NCBFs) have shown significant promise in enforcing safety constraints on nonlinear autonomous systems.
Country:
- North America > United States > California > San Diego County > San Diego (0.04)
- Europe > Germany > Baden-Württemberg > Karlsruhe Region > Heidelberg (0.04)
Technology:
Country:
- North America > United States > New Jersey (0.04)
- Europe > Ukraine > Kharkiv Oblast > Kharkiv (0.04)
- Asia > Middle East > Jordan (0.04)
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > New Finding (0.67)
Technology:
Country:
- North America > United States > Virginia (0.04)
- North America > United States > California > San Diego County > San Diego (0.04)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- (4 more...)
Genre:
- Research Report > Experimental Study (1.00)
- Workflow (0.68)
Industry:
- Government > Regional Government (0.46)
- Energy (0.45)
Sampling from Structured Log-Concave Distributions via a Soft-Threshold Dikin Walk Oren Mangoubi Worcester Polytechnic Institute Nisheeth K. Vishnoi Yale University
Interest in this problem derives from its applications to Bayesian inference and differential privacy.
Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Mathematical & Statistical Methods (0.92)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Uncertainty > Bayesian Inference (0.34)
Technology:
- Information Technology > Artificial Intelligence > Robots (0.94)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.69)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (0.68)
- Information Technology > Artificial Intelligence > Machine Learning > Reinforcement Learning (0.49)
Country:
- North America > United States > Pennsylvania (0.04)
- South America > Chile > Santiago Metropolitan Region > Santiago Province > Santiago (0.04)
- North America > United States > New York > New York County > New York City (0.04)
- North America > United States > Indiana (0.04)
Industry:
- Energy (0.47)
- Government (0.46)
Technology:
Country:
- Europe > United Kingdom (0.14)
- Asia > India (0.04)
- North America > United States > California > Los Angeles County > Long Beach (0.04)
- (3 more...)
Industry:
- Energy > Power Industry (1.00)
- Energy > Renewable > Solar (0.68)
Technology:
